Search Results
IOHK PlutusFest 2018 | James Chapman - Academic Stream
IOHK PlutusFest 2018 | Academic Stream | Philip Wadler - Senior Research Fellow
IOHK PlutusFest 2018 | IOHK Language Architect - Manuel Chakravarty Interview
IOHK PlutusFest 2018 | Manuel Chakravarty Keynote
IOHK PlutusFest Welcome Address | Philip Wadler - Senior Research Fellow
IOHK PlutusFest | Aggelos Kiayias Keynote
IOHK PlutusFest 2018 | Aggelos Kiayias Interview
IOHK PlutusFest 2018 | Duncan Coutts Presentation & Rebecca Valentine Closing Remarks
IOHK | Using the ΔQ calculus to model blockchain scalability, Dr Neil Davies, PNsol.
Professor Philip Wadler on Plutus and Haskell | TCE 10
IOHK | Ethereum Classic Summit - Charles Hoskinson Keynote
Leveraging Formal Methods for Smart Contract Platform R&D
